projn(n;x) == if (n = 1) then x.1 else projn(n - 1;x.2) fi   (recursive) 

latex

Definitions	t.2, #$n, n - m, f(a), t.1, (i = j), if b then t else f fi , x.A(x), Y
FDL editor aliases	projn